fn f<'a: 'b>() {}
